Attributed Models of Executable Specifications
نویسندگان
چکیده
Attributed Models of Executable Speci cations Attributed automata (AA) were introduced as a formalism for executable speci cation of knowledge using regular syntax with attributes representing contextual relations as well as semantic properties of concepts. AA can be treated as a generalization of a state transition network with attributes and computational relations attached to states and transitions respectively. The formal de nition and general properties of the AA are presented. The problems of composition/decomposition and minimization are considered in the paper. A short overview of applications is given.
منابع مشابه
Trace Specifications: Methodology and Models
Precise abstract software specification is achievable by using formal specification languages. However, nontrivial specifications are inordinately difficult to read and write. This paper summarizes the trace specification language and present? the trace specification methodology: a set of heuristics designed to make the reading and writing of complex specifications manageable. Also described is...
متن کاملExecutable SystemC specification of the MARTE generic concurrent and communication resources under different Models of Computation
Modeling and analysis of real-time, embedded systems is becoming an important area of research nowadays. In this context, the UML MARTE profile has been proposed to support the specification, design, and verification stages in the design process. It provides a wide set of facilities to introduce all the information required in the first steps of the design process. To carry out the actions invo...
متن کاملExecutable Specifications in an Object Oriented Formal Notation
Early validation of requirements is crucial for the rigorous development of software. Without it, even the most formal of the methodologies will produce the wrong outcome. One successful approach, popularised by some of the so-called lightweight formal methods, consists in generating (finite, small) models of the specifications. Another possibility is to build a running prototype from those spe...
متن کاملStructured Specification of Model Interpreters
Model interpreters play an essential role in modelintegrated systems: they transform domain-specific models into executable models. The state-ot-the-art of model interpreter writing needs to be advanced to enhance the reusability and maintainability of this software. This paper presents an approach which makes this possible through the use of structured specifications. These specifications let ...
متن کاملLightweight Verification of Executable Models
Executable models play a key role in many development methods by facilitating the immediate simulation/implementation of the software system under development. This is possible because executable models include a fine-grained specification of the system behaviour. Unfortunately, a quick and easy way to check the correctness of behavioural specifications is still missing, which compromises their...
متن کامل